From the operational viewpoint, the x-calculus is a symmetric mobile process calculus obtained from π-calculus by removing asymmetry of the latter.
从操作观点看,x-演算是通过消除π-演算的非对称性而得到的,是一种对称的移动进程演算。
参考来源 - 非对称X~≠Fifthly, for the specification of protocols, we proposed a process calculus. Then we formally defined the syntax, dynamic semantics and static semantics of our calculus.
第五,对于密码协议的描述,本文给出一个进程演算,随后定义该演算的静态语义和动态语义。
参考来源 - 密码协议的形式化分析方法研究·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
Process calculus is usually used to reason about reactive systems, in which bisimulation method is an important way to formally verify the properties of a system.
进程演算通常用来研究交互式反应系统,其中的互模拟方法是用来形式化验证系统属性的重要途径。
They often focused on complex mathematical theories (such as the Pi-Calculus) without ever validating if these theory's semantics would actually be enough to support a business process execution.
他们经常关注复杂的数学理论(如 Pi-Calculus),从来不去验证这些理论的语义是否真的足够支撑一个业务过程执行。
With the help of the examples accumulates in the teaching process, this paper reveals all the USES of calculus in solving some primary problems.
以教学过程中积累的多个例子作简单的讨论,展示了微积分学在解决初等问题中的各类应用。
应用推荐